Metaprogramming, Code Generation, Derive Macros, Syntax Extensions
Discovering Backdoor Triggers
lesswrong.com·3d
Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
arxiv.org·4d
Loading...Loading more...
Metaprogramming, Code Generation, Derive Macros, Syntax Extensions